#include "riscv.h"
#include "sbi.h"

void set_next_timer() {
	uint64 temp;
	csrr(time, temp);
	temp += 100000;
	set_timer(temp);
}

void clock_init() {
	uint64 temp;
	csrr(sie, temp);
	temp &= ~SIE_TIMER;
	csrw(sie, temp);
	set_next_timer();
}
